海康AGV（自动引导车）是一种可以自主导航、避开障碍物、执行物料搬运任务的无人驾驶车辆。海康AGV的编程语言主要有以下几种选择：

C/C++：C/C++是一种高级编程语言，被广泛用于嵌入式系统和机器人控制领域。使用C/C++语言编程，可以实现对AGV的底层控制和算法的开发。

Python：Python是一种简单易学的编程语言，广泛应用于科学计算、人工智能和机器学习等领域。采用Python语言编程，可以方便地使用一些机器人相关的库，如ROS（机器人操作系统）来开发AGV的控制和导航功能。

ROS：ROS是一个开源的机器人软件平台，提供了一系列的工具和库，用于构建机器人系统。ROS支持多种编程语言，包括C++、Python等。使用ROS进行AGV编程，可以快速搭建机器人系统，并通过ROS的消息机制实现模块间的通信和协作。

Blockly：Blockly是一种基于图形化编程的工具，可以通过拖拽和连接方块的方式进行编程。Blockly可用于初学者或非专业人士，可以通过简单的操作实现对AGV的编程。

当然，以上只是海康AGV编程语言的一些常见选择，根据具体的需求和开发环境，还可以选择其他编程语言进行AGV的编程。最终的选择应该根据项目需求、开发团队的技能和偏好来决定。